AtCoder Finals Problem Statement
atcoder.jp·22h·
Discuss: Hacker News
🇯🇵Japanese Computing
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·12h
🔐Quantum Security
Revisiting k-Means: 3 Approaches to Make It Work Better
machinelearningmastery.com·1d
📊Vector Quantization
Multiples and powers mod 1
johndcook.com·1h
🎯Arithmetic Coding Theory
Approximate First Principal Component
30fps.net·3h·
Discuss: Hacker News
📐Vector Dimensionality
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·15h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Quoting Terence Eden
simonwillison.net·1h
⚖️Lossy Compression Ethics
Understanding the Basics: Linear Equations and Matrices
dev.to·14h·
Discuss: DEV
📐Linear Algebra
Turing, Wagner, Ruth
blog.computationalcomplexity.org·21h·
Discuss: blog.computationalcomplexity.org
📐Mathematical Art
Honest Abe: Anti-BS Epistemology
austinross.xyz·19m·
Discuss: Hacker News
🔲Proof Irrelevance
2011 N1 = 2024 A2
blog.evanchen.cc·22h
🔬Lean
Old alt text advice – HTML Accessibility
html5accessibility.com·2h
🖋Typography
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·13h·
Discuss: Hacker News
🔗Concatenative Programming
Some Researchers Are Hiding Secret Messages in Their Papers, but They're Not Meant for Humans
smithsonianmag.com·1h
💧Manuscript Watermarks
Machine Code Isn't Scary
jimmyhmiller.github.io·2d
🔤Character Encoding
[R][D] Interpretability as a Side Effect? Are Activation Functions Biasing Your Models?
reddit.com·1d·
Discuss: r/MachineLearning
📊Learned Metrics
Connecting legibility to theory building in programming
ashwinsundar.com·1d·
Discuss: Hacker News
💻Programming languages
Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.org·12h
🧮Kolmogorov Complexity
We've got to stop sending files to each other
shkspr.mobi·4h·
Discuss: Lobsters, Hacker News, shkspr.mobi
🏠Personal Archives
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·2h·
Discuss: Hacker News
🤝Distributed Consensus